Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
341	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Software engineering Local consistency Multiset Boolean satisfiability problem Cardinality Decomposition method Linear programming relaxation Constraint programming Theoretical computer science Mathematics
342	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
343	Rina Dechter 1 Introduction: • The constraint network model Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:28 Theoretical computer science Constraint graph Decomposition method Hypergraph Bayesian network Constraint inference Constraint programming Software engineering Computer programming
344	Local Search and Constraint Programming for the Post Enrolment-based Course Timetabling Problem? Hadrien Cambazard, Emmanuel Hebrard, Barry O’Sullivan and Alexandre Papadopoulos Cork Constraint Computation Centre Depar Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-12-15 12:54:32 Mathematics Applied mathematics Local search Constraint Graph coloring Candidate solution Constraint programming Mathematical optimization Theoretical computer science
345	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
346	Noname manuscript No. (will be inserted by the editor) Metaheuristics for Solving a Multimodal Home-Healthcare Scheduling Problem Gerhard Hiermann · Matthias Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-09-23 07:16:44 Nursing Computer programming Linear programming Health Operations research Constraint programming Software engineering
347	Microsoft PowerPoint - acp1-07-3.ppt Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-14 14:39:19 Artificial intelligence Heuristics Constraint programming Mathematics Heuristic function Heuristic A* search algorithm Applied mathematics Mathematical optimization Operations research Search algorithms Combinatorial optimization
348	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming
349	Principles and Methods for Automated Inference Rina Dechter and Irina Rish Information and Computer Science Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:22 Functions and mappings Statistics Bayesian network Constraint satisfaction Constraint optimization Function Constraint logic programming Constraint programming Mathematics Mathematical optimization
350	Common Subexpression Elimination in Automated Constraint Modelling Ian P. Gent and Ian Miguel and Andrea Rendl1 Abstract. Typically, there are many alternative models of a given problem as a constraint satisfaction probl Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:26 Computing Constraint satisfaction Local consistency Common subexpression elimination Constraint algorithm Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE